default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDElectronic Communication of the European Association of Software Science and Technology, Volume 46
Volume 46, 2011
- Alexander B. Romanovsky
, Cliff B. Jones, Jens Bendisposto, Michael Leuschel:
Preface. - Franz Weitl, Shin Nakajima:
Integrated Model Checking of Static Structure and Dynamic Behavior using Temporal Description Logics. - Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri, Stefano Tonetta:
Symbolic Model Checking and Safety Assessment of Altarica models. - Michael Jastram, Stefan Hallerstede, Lukas Ladenberger:
Mixing Formal and Informal Model Elements for Tracing Requirements. - Mohammad Reza Sarshogh, Michael J. Butler:
Specification and refinement of discrete timing properties in Event-B. - Nicolas Chausse, Helen Xu, Jürgen Dingel, Karen Rudie:
Combining Model Checking and Discrete-Event Supervisor Synthesis. - Pieter Philippaerts, Frédéric Vogels, Jan Smans, Bart Jacobs, Frank Piessens:
The Belgian Electronic Identity Card: a Verification Case Study. - Thai Son Hoang, Alexei Iliasov, Renato Silva, Wei Wei:
A Survey on Event-B Decomposition. - Sanaz Yeganefard, Michael J. Butler:
Structuring Functional Requirements of Control Systems to Facilitate Refinement-based Formalisation. - Xiang Gan, Jori Dubrovin, Keijo Heljanko:
A Symbolic Model Checking Approach to Verifying Satellite Onboard Software. - Brijesh Dongol, Ian J. Hayes:
Approximating Idealised Real-Time Specifications Using Time Bands. - Janet Elizabeth Barnes:
Experiences in the Industrial use of Formal Methods.
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:48 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:
