Herzlich Willkommen!
Deutschland
  • Deutschland
  • Vereinigtes Königreich
  • Griechenland
  • Irland
  • Island
  • Italien
  • Japan
  • Kanada
  • Luxemburg
  • Namibia
  • Niederlande
  • Norwegen
  • Österreich
  • Portugal
  • Schweden
  • Schweiz
  • Spanien
  • Vereinigte Staaten von Amerika
  • Liechtenstein
  • Arabische Emirate
  • Polen
  • Ungarn
  • Türkei
  • Tschechische Republik
  • Slowakei
  • Rumänien
  • Brasilien
  • Israel
  • Australien
  • Belgien
  • Dänemark
  • Finnland
  • Frankreich
  • Bulgarien
  • Estland
  • Kroatien
  • Lettland
  • Litauen
  • Malta
  • Slowenien
  • Zypern
  • Afghanistan
  • Åland
  • Albanien
  • Algerien
  • Amerikanisch-Samoa
  • Andorra
  • Angola
  • Anguilla
  • Antarktika
  • Antigua und Barbuda
  • Argentinien
  • Armenien
  • Aruba
  • Aserbaidschan
  • Bahamas
  • Bahrain
  • Bangladesch
  • Barbados
  • Weißrussland
  • Belize
  • Benin
  • Bermuda
  • Bhutan
  • Bolivien
  • Bonaire, Sint Eustatius und Saba
  • Bosnien und Herzegowina
  • Botswana
  • Bouvetinsel
  • Britisches Territorium im Indischen Ozean
  • Kleinere Inselbesitzungen der Vereinigten Staaten
  • Britische Jungferninseln
  • Amerikanische Jungferninseln
  • Brunei
  • Burkina Faso
  • Burundi
  • Kambodscha
  • Kamerun
  • Kap Verde
  • Kaimaninseln
  • Zentralafrikanische Republik
  • Tschad
  • Chile
  • China
  • Weihnachtsinsel
  • Kokosinseln
  • Kolumbien
  • Union der Komoren
  • Kongo
  • Kongo (Dem. Rep.)
  • Cookinseln
  • Costa Rica
  • Kuba
  • Curaçao
  • Dschibuti
  • Dominica
  • Dominikanische Republik
  • Ecuador
  • Ägypten
  • El Salvador
  • Äquatorial-Guinea
  • Eritrea
  • Äthiopien
  • Falklandinseln
  • Färöer-Inseln
  • Fidschi
  • Französisch Guyana
  • Französisch-Polynesien
  • Französische Süd- und Antarktisgebiete
  • Gabun
  • Gambia
  • Georgien
  • Ghana
  • Gibraltar
  • Grönland
  • Grenada
  • Guadeloupe
  • Guam
  • Guatemala
  • Guernsey
  • Guinea
  • Guinea-Bissau
  • Guyana
  • Haiti
  • Heard und die McDonaldinseln
  • Staat Vatikanstadt
  • Honduras
  • Hong Kong
  • Indien
  • Indonesien
  • Elfenbeinküste
  • Iran
  • Irak
  • Insel Man
  • Jamaika
  • Jersey
  • Jordanien
  • Kasachstan
  • Kenia
  • Kiribati
  • Kuwait
  • Kirgisistan
  • Laos
  • Libanon
  • Lesotho
  • Liberia
  • Libyen
  • Macao
  • Mazedonien
  • Madagaskar
  • Malawi
  • Malaysia
  • Malediven
  • Mali
  • Marshallinseln
  • Martinique
  • Mauretanien
  • Mauritius
  • Mayotte
  • Mexiko
  • Mikronesien
  • Moldawie
  • Monaco
  • Mongolei
  • Montenegro
  • Montserrat
  • Marokko
  • Mosambik
  • Myanmar
  • Nauru
  • Népal
  • Neukaledonien
  • Neuseeland
  • Nicaragua
  • Niger
  • Nigeria
  • Niue
  • Norfolkinsel
  • Nordkorea
  • Nördliche Marianen
  • Oman
  • Pakistan
  • Palau
  • Palästina
  • Panama
  • Papua-Neuguinea
  • Paraguay
  • Peru
  • Philippinen
  • Pitcairn
  • Puerto Rico
  • Katar
  • Republik Kosovo
  • Réunion
  • Russland
  • Ruanda
  • Saint-Barthélemy
  • Sankt Helena
  • St. Kitts und Nevis
  • Saint Lucia
  • Saint Martin
  • Saint-Pierre und Miquelon
  • Saint Vincent und die Grenadinen
  • Samoa
  • San Marino
  • São Tomé und Príncipe
  • Saudi-Arabien
  • Senegal
  • Serbien
  • Seychellen
  • Sierra Leone
  • Singapur
  • Sint Maarten (niederl. Teil)
  • Salomonen
  • Somalia
  • Republik Südafrika
  • Südgeorgien und die Südlichen Sandwichinseln
  • Südkorea
  • Südsudan
  • Sri Lanka
  • Sudan
  • Suriname
  • Svalbard und Jan Mayen
  • Swasiland
  • Syrien
  • Taiwan
  • Tadschikistan
  • Tansania
  • Thailand
  • Timor-Leste
  • Togo
  • Tokelau
  • Tonga
  • Trinidad und Tobago
  • Tunesien
  • Turkmenistan
  • Turks- und Caicosinseln
  • Tuvalu
  • Uganda
  • Ukraine
  • Uruguay
  • Usbekistan
  • Vanuatu
  • Venezuela
  • Vietnam
  • Wallis und Futuna
  • Westsahara
  • Jemen
  • Sambia
  • Simbabwe
This book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2014, held in Corfu, Greece, in October 2014, and the 5th International Symposium, ISoLA 2012, held in Heraklion, Crete, Greece, in October 2012. The 9 revised full papers presented were carefully reviewed and selected from 22 submissions. This volume combines the post-conference proceedings of the 2014 Doctoral Symposium and the 2014 Tutorial "Automata Learning in Practice" with the post-conference publication of selected contributions from the Tracks "Process-Oriented Geoinformation Systems and Applications" and "Processes and Data Integration in the Networked Healthcare" of ISoLA 2012.
ISBN: 9783319516400
Sprache: Englisch
Seitenzahl: 157
Produktart: Kartoniert / Broschiert
Herausgeber: Lamprecht, Anna-Lena
Verlag: Springer International Publishing
Veröffentlicht: 22.12.2016
Untertitel: 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers
Schlagworte: Business Process Management (BPM) Domain Specific Languages (DSLs) automata learning business process data integration formal methods geovisualization healthcare model-driven software development model checking

0 von 0 Bewertungen

Durchschnittliche Bewertung von 0 von 5 Sternen

Bewerten Sie dieses Produkt!

Teilen Sie Ihre Erfahrungen mit anderen Kunden.