by
Ricci, Alessandro. editor.
Format:
Elektronik Kaynak
Alıntı:
Programming with Actors State-of-the-Art and Research Perspectives / Ricci, Alessandro. editor.
by
Blazy, Sandrine. editor.
Format:
Elektronik Kaynak
Alıntı:
carefully revised and selected 21 submissions. The goal of the VSTTE conference is to advance the state of
View Other Search Results
by
Bloem, Roderick. editor.
Format:
Elektronik Kaynak
Alıntı:
of the art and state of the practice in verification and testing and are discussing future directions
by
Gurfinkel, Arie. editor.
Format:
Elektronik Kaynak
Alıntı:
25 submissions. The goal of this conference is to advance the state of the art in the science and
by
Butler, Michael. editor.
Format:
Elektronik Kaynak
Alıntı:
State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full
by
Bošnački, Dragan. editor.
Format:
Elektronik Kaynak
Alıntı:
Abstraction-Refinement for the mu-Calculus -- Minimal Counterexample Generation for SPIN -- Generating Counter-Examples
by
Azevedo, Francisco. editor.
Format:
Elektronik Kaynak
Alıntı:
Dynamically Break Symmetries in the Social Golfers Problem -- A Constraint Model for State Transitions in
by
Barthe, Gilles. editor.
Format:
Elektronik Kaynak
Alıntı:
-- Verification of Safety Properties in the Presence of Transactions -- Modelling Mobility Aspects of Security
by
Kröger, Fred. author.
Format:
Elektronik Kaynak
Alıntı:
specification and verification of state-based systems. Based on university lectures given by the authors, this
by
Gallardo, María del Mar. editor.
Format:
Elektronik Kaynak
Alıntı:
This book constitutes the refereed proceedings of the 25th International Symposium on Model
11.
by
Craig, Iain D. author.
Format:
Elektronik Kaynak
Alıntı:
virtual machines throughout and - in addition – transitions and state transitions relating to the general
by
Hagiya, Masami. editor.
Format:
Elektronik Kaynak
Alıntı:
Projections -- iData for the World Wide Web – Programming Interconnected Web Forms -- Crossing State Lines
Arama Sonuçlarını Sınırlandır
Daraltılmış: