default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 131
Volume 131, December 2016
- Yamine Aït Ameur, Klaus-Dieter Schewe:
Introduction to the ABZ 2014 special issue. 1-2 - Gidon Ernst
, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif:
Modular, crash-safe refinement for ASMs with submachines. 3-21 - Marcel Dausend, Alexander Raschke:
Towards a comprehensive extension of abstract state machines for aspect-oriented specification. 22-41 - Egon Börger, Klaus-Dieter Schewe, Qing Wang:
Serialisable multi-level transaction control: A specification and verification. 42-58 - Andreas Fürst, Thai Son Hoang, David A. Basin, Naoto Sato, Kunihiko Miyazaki:
Large-scale system development using Abstract Data Types and refinement. 59-75 - Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais:
A formal validation of the RBAC ANSI 2012 standard using B. 76-93 - Stefan Hallerstede:
The correctness of event-B inductive convergence. 94-108 - Dominik Hansen, Michael Leuschel:
Translating B to TLA+ for validation with TLC. 109-125 - Qin Li, Graeme Smith:
Formal development of multi-agent systems using MAZE. 126-150
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 2025-12-12 01:08 CET 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:
