Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Antoni Guasch
Formalizing Geographical Models Using Specification and Description Language: The Wildfire Example
Related publications
Formalizing and Checking Web Service Discovery Models Using B.
Journal of Computer Science and Cybernetics
Three Models for the Description of Language
IEEE Transactions on Information Theory
Computer Science Applications
Information Systems
Library
Information Sciences
Specification Inference Using Context-Free Language Reachability
The Specification Language TLA+
Monographs in Theoretical Computer Science. An EATCS Series
Analysis of the Temporal and Geographical Transferability of Disaggregate Hurricane Evacuation Demand Models of Different Model Specification
International Journal of Transportation
Formalizing Threat Models for Virtualized Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Exercise in Formalizing the Description of a Concurrent System
Software - Practice and Experience
Software
The Specification Language of OBSCURE
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Parametric Decimal Division Using Hardware Description Language
Revista EIA
