default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st FormSERA@ICSE 2012: Zurich, Switzerland
- Stefania Gnesi, Stefan Gruner, Nico Plat, Bernhard Rumpe:
Proceedings of the First International Workshop on Formal Methods in Software Engineering - Rigorous and Agile Approaches, FormSERA 2012, Zurich, Switzerland, June 2, 2012. IEEE 2012, ISBN 978-1-4673-1906-5 - Michael Jackson:
Formalisms and structures. 1 - Antonio Filieri
, Carlo Ghezzi:
Further steps towards efficient runtime verification: handling probabilistic cost models. 2-8 - Daniel Ratiu, Bernhard Schätz, Markus Völter, Bernd Kolb:
Language engineering as an enabler for incrementally defined formal analyses. 9-15 - Paul A. Bailes, Leighton Brough:
Making sense of recursion patterns. 16-22 - Sune Wolff:
Scrum goes formal: agile methods for safety-critical systems. 23-29 - Ivo Krka, Nenad Medvidovic:
Revisiting modal interface automata. 30-36 - Johannes Neubauer, Bernhard Steffen, Oliver Bauer, Stephan Windmüller, Maik Merten, Tiziana Margaria, Falk Howar:
Automated continuous quality assurance. 37-43 - Carlos A. González, Fabian Büttner, Robert Clarisó, Jordi Cabot:
EMFtoCSP: a tool for the lightweight verification of EMF models. 44-50 - Alexei Iliasov, Alexander B. Romanovsky, Linas Laibinis, Elena Troubitsyna, Timo Latvala:
Augmenting Event-B modelling with real-time verification. 51-57
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-19 23:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
