ABZ 2014: The Landing Gear Case Study 1
bokomslag ABZ 2014: The Landing Gear Case Study
Data & IT

ABZ 2014: The Landing Gear Case Study

Frederic Boniol • Virginie Wiels • Yamine Ait Ameur • Klaus-Dieter Schewe

Pocket

759:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 161 sidor
  • 2014
This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014. The 11 papers presented were carefully reviewed and selected from numerous submissions. They use different formal techniques: B, ASM, Fiacre. They also propose different kinds of verification such as proof, model checking, test generation, run-time monitoring, and simulation.
  • Författare: Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe
  • Format: Pocket/Paperback
  • ISBN: 9783319075112
  • Språk: Engelska
  • Antal sidor: 161
  • Utgivningsdatum: 2014-05-26
  • Förlag: Springer International Publishing AG

Du kanske gillar

  1. bokomslag Transactions on Large-Scale Data- and Knowledge-Centered Systems XXX

    Transactions on Large-Scale Data- and...

    Abdelkader Hameurlain, Josef Kng, Roland Wagner, Klaus-Dieter Schewe, Karoly Bosa

    Pocket

    759:-
  2. bokomslag Product Lifecycle Management in the Era of Internet of Things

    Product Lifecycle Management in the E...

    Abdelaziz Bouras, Benoit Eynard, Sebti Foufou, Klaus-Dieter Thoben

    Pocket

    2229:-
  3. bokomslag Product Lifecycle Management in the Era of Internet of Things

    Product Lifecycle Management in the E...

    Abdelaziz Bouras, Benoit Eynard, Sebti Foufou, Klaus-Dieter Thoben

    Inbunden

    2229:-
  4. bokomslag Aspects Of Computation And Automata Theory With Applications

    Aspects Of Computation And Automata T...

    Noam Greenberg, Sanjay Jain, Keng Meng Ng, Sven Schewe, Frank Stephan

    Inbunden

    3129:-
  5. bokomslag Engineering of Complex Computer Systems

    Engineering of Complex Computer Systems

    Guangdong Bai, Fuyuki Ishikawa, Yamine Ait-Ameur, George A Papadopoulos

    Pocket

    1149:-
  6. bokomslag The ABZ Affair

    The ABZ Affair

    Joan H Young

    Häftad

    259:-
  7. bokomslag ABZ's of Sanity

    ABZ's of Sanity

    Loretta Graham

    Häftad

    329:-
  8. bokomslag ABZs OF SENSUALITY, SOCIETY, AND SEX

    ABZs OF SENSUALITY, SOCIETY, AND SEX

    Magno J Ortega

    Pocket

    409:-
  9. bokomslag An Abz of Love

    An Abz of Love

    Sten Hegeler Inge Hegeler

    Inbunden

    1029:-
  10. bokomslag Das ABZ der Geldanlage und Brse

    Das ABZ der Geldanlage und Brse

    Mathias Hahn

    Pocket

    289:-

Andra av samma författare

  1. bokomslag Fundamentals of Information Systems

    Fundamentals of Information Systems

    Torsten Polle, Torsten Ripke, Klaus-Dieter Schewe

    Inbunden

    1499:-
  2. bokomslag Fundamentals of Information Systems

    Fundamentals of Information Systems

    Torsten Polle, Torsten Ripke, Klaus-Dieter Schewe

    Pocket

    1499:-
  3. bokomslag Model and Data Engineering

    Model and Data Engineering

    Neeraj Kumar Singh Klaus-Dieter Schewe

    Pocket

    759:-
  4. bokomslag Logic, Computation and Rigorous Methods

    Logic, Computation and Rigorous Methods

    Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe

    Pocket

    759:-
  5. bokomslag Model and Data Engineering

    Model and Data Engineering

    Yamine Ait Ameur, Ladjel Bellatreche, George A Papadopoulos

    Pocket

    759:-
  6. bokomslag Correct Software in Web Applications and Web Services

    Correct Software in Web Applications ...

    Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger

    Inbunden

    759:-
  7. bokomslag Abstract State Machines, Alloy, B, TLA, VDM, and Z

    Abstract State Machines, Alloy, B, TL...

    Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro

    Pocket

    759:-
  8. bokomslag Correct Software in Web Applications and Web Services

    Correct Software in Web Applications ...

    Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger

    Pocket

    759:-
  9. bokomslag New Trends in Databases and Information Systems

    New Trends in Databases and Informati...

    Mirjana Ivanovi, Pietro Michiardi, Bernhard Thalheim, Barbara Catania, Klaus-Dieter Schewe

    Pocket

    759:-
  10. bokomslag Semantics in Databases

    Semantics in Databases

    Leopoldo Bertossi, Gyula O H Katona, Klaus-Dieter Schewe, Bernhard Thalheim

    Pocket

    779:-