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

989:-

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

Uppskattad leveranstid 7-11 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

    989:-
  2. 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

    3099:-
  3. bokomslag Arbeitsbuch Zu Finanzmanagement, Band I

    Arbeitsbuch Zu Finanzmanagement, Band I

    Harald Dettmer, Thomas Hausmann, Ludwig Himstedt, Klaus-Dieter Steffens

    Inbunden

    1639:-
  4. 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

    2209:-
  5. bokomslag Die Spectators in Frankreich

    Die Spectators in Frankreich

    Michaela Fischer-Pernkopf, Veronika Mussner, Klaus-Dieter Ertler, Klaus-Dieter Ertler

    Inbunden

    1209:-
  6. 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

    2209:-
  7. bokomslag "In Spuren gehen ..."

    "In Spuren gehen ..."

    Andrea Bartl, Jrgen Eder, Harry Frhlich, Klaus Dieter Post, Ursula Regener

    Inbunden

    3139:-
  8. bokomslag Dissertation Sur La Maladie pizootique Des Animaux, Et Les Moyens Propres Les Conserver

    Dissertation Sur La Maladie pizootiqu...

    Antoine Boniol

    Pocket

    229:-
  9. bokomslag The ABZ Affair

    The ABZ Affair

    Joan H Young

    Häftad

    229:-
  10. bokomslag Der biologische Abbau von Glyphosat

    Der biologische Abbau von Glyphosat

    Aicha Chadli, Fouad Mekhalef Benhafsa, Khadidja Ameur

    Pocket

    849:-

Andra av samma författare

  1. bokomslag Fundamentals of Information Systems

    Fundamentals of Information Systems

    Torsten Polle, Torsten Ripke, Klaus-Dieter Schewe

    Inbunden

    1959:-
  2. bokomslag Fundamentals of Information Systems

    Fundamentals of Information Systems

    Torsten Polle, Torsten Ripke, Klaus-Dieter Schewe

    Pocket

    1959:-
  3. bokomslag Model and Data Engineering

    Model and Data Engineering

    Neeraj Kumar Singh Klaus-Dieter Schewe

    Pocket

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

    Logic, Computation and Rigorous Methods

    Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe

    Pocket

    989:-
  5. bokomslag Model and Data Engineering

    Model and Data Engineering

    Yamine Ait Ameur, Ladjel Bellatreche, George A Papadopoulos

    Pocket

    989:-
  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

    989:-
  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

    1009:-
  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

    989:-
  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

    989:-
  10. bokomslag Semantics in Databases

    Semantics in Databases

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

    Pocket

    1019:-