Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Giovanni B. Varile
The Formal and Processing Models of CLG
Related publications
Reusing Formal Models
Formal Models of Source Reliability
Synthese
Philosophy
Social Sciences
Formal Proof From UML Models
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Formal Demography of Kinship. II. Multistate Models, Parity, and Sibship
Formal Verification of AADL Models Using UPPAAL
Formal Language Theory for Natural Language Processing
Capturing Value From Business Models: The Role of Formal and Informal Protection Strategies
International Journal of Technology Management
Industrial Relations
Management
Strategy
Engineering
Computer Science Applications
Law
Polychronous Automata and Their Use for Formal Validation of AADL Models
Frontiers of Computer Science
Computer Science
Theoretical Computer Science
Applying Gamification for Developing Formal Knowledge Models: Challenges and Requirements
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
