Publisher
Springer Fachmedien Wiesbaden
Reference240 articles.
1. Abrial J-R (1996) The B-Book—assigning programs to meanings. Cambridge University Press, Cambridge. ISBN 978-0-521-02175-3
2. Abrial J-R (2010) Modeling in Event-B: system and software engineering (Englisch) Gebundene Ausgabe—13. Mai 2010. Cambridge University Press, Cambridge. ISBN 978-0-521-89556-9
3. Allemang D, Hendler J (2011) Semantic web for the working ontologist—effective modeling in RDFS and OWL. Morgan Kaufmann, Waltham. ISBN 978-0-123-85965-5
4. Alur R (2015) Principles of cyber-physical systems. MIT Press, Cambridge. ISBN 978-0-262-02911-7
5. Ambler SW (1998) Process patterns: building large-scale systems using object technology. Cambridge University Press, Cambridge. ISBN 0-521-64568-9