Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Authors
(358)
Elvinia Riccobene
13
Egon Börger
12
Yuri Gurevich
11
Uwe Glasser (Uwe Glässer)
8
Michael J. Butler
7
Margus Veanes
7
Angelo Gargantini
7
Wolfram Schulte
7
Bernhard Thalheim
6
Patrizia Scandurra
6
Keywords
(472)
Subscribe
Academic
Conferences
ASM - Workshops on Abstract State Machines
Workshops on Abstract State Machines,ASM,Algorithms & Theory,Operating Systems,Real-Time & Embedded Systems
ASM - Workshops on Abstract State Machines
Publications: 247
|
Citation Count: 3,326 (Self-Citation: 75)
Year Range: 1960-2010
Fields of study:
Algorithms & Theory
,
Operating Systems
,
Real-Time & Embedded Systems
Homepage
Cumulative
Annual
Sort by:
Publications
(247)
Towards Validation of Requirements Models
(
Citations: 5
)
Atif Mashkoor
,
Abderrahman Matoussi
Conference:
Workshops on Abstract State Machines - ASM
, 2010
Supporting Reuse in Event B Development: Modularisation Approach
(
Citations: 2
)
Alexei Iliasov
,
Elena Troubitsyna
,
Linas Laibinis
,
Alexander Romanovsky
,
Kimmo Varpaaniemi
,
Dubravka Ilic
,
Timo Latvala
Conference:
Workshops on Abstract State Machines - ASM
, pp. 174-188, 2010
A Basis for Feature-Oriented Modelling in Event-B
(
Citations: 2
)
Jennifer Sorge
,
Michael Poppleton
,
Michael Butler
Conference:
Workshops on Abstract State Machines - ASM
, 2010
Architecture as an Independent Variable for Aspect-Oriented Application Descriptions
(
Citations: 2
)
Hamid Bagheri
,
Kevin J. Sullivan
Conference:
Workshops on Abstract State Machines - ASM
, 2010
On the Modelling and Analysis of Amazon Web Services Access Policies
(
Citations: 2
)
David J. Power
,
Mark Slaymaker
,
Andrew Simpson
Conference:
Workshops on Abstract State Machines - ASM
, 2010