You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (132)

Journals (0)

1-10 of 132 results for Formal Specification of Computer Systems

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Multicore acceleration of Discrete Event System Specification systems

Retricted access

Research article

First published 2012-7

Multicore acceleration of Discrete Event System Specification systems

Qi Liu, Gabriel Wainer

SIMULATION

Select article: Mechanical Analysis of Finite Idempotent Relations

Retricted access

Research article

First published 2011-2

Mechanical Analysis of Finite Idempotent Relations

Florian Kammüller

Fundamenta Informaticae

Select article: PERFORMANCE EVALUATION OF SYSTEMS DEFINED IN SPECIFICATION LANGUAGE ESTELLE

Retricted access

Research article

First published 1995-12

PERFORMANCE EVALUATION OF SYSTEMS DEFINED IN SPECIFICATION LANGUAGE ESTELLE

Jan Magott

Fundamenta Informaticae

Select article: A Process Specification Formalism 1

Retricted access

Research article

First published 1990

A Process Specification Formalism 1

S. Mauw, G.J. Veltink

Fundamenta Informaticae

Select article: Metamodel-based formalization of DEVS atomic models

Retricted access

Research article

First published 2021

Metamodel-based formalization of DEVS atomic models

María Julia Blas, Silvio Gonnet

SIMULATION

Select article: Novel Developments in Formal Methods for Human Factors Engineering

Retricted access

Research article

First published 2017-9

Novel Developments in Formal Methods for Human Factors Engineering

Matthew L. Bolton

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Select article: Specification and Integration of Theorem Provers and Computer Algebra Systems

Retricted access

Research article

First published 1999-8

Specification and Integration of Theorem Provers and Computer Algebra Systems

P.G. Bertoli, J. Calmet, F. Giunchiglia [...]

Fundamenta Informaticae

Select article: Specifying Security for Computer Supported Collaborative Working

Retricted access

Research article

First published 1995-10-1

Specifying Security for Computer Supported Collaborative Working

Simon N. Foley, Jeremy L. Jacob

Journal of Computer Security

Select article: Cell-DEVS/GDEVS for Complex Continuous Systems

Retricted access

Research article

First published 2005-02

Cell-DEVS/GDEVS for Complex Continuous Systems

Gabriel A. Wainer, Norbert Giambiasi

SIMULATION

Select article: Theoretical Frameworks for Analysing Turn-Based Computer Strategy Games

Retricted access

Research article

First published 2004-2

Theoretical Frameworks for Analysing Turn-Based Computer Strategy Games

Nicholas Caldwell

Media International Australia

1
2
3
•••
14
10 / page

Article type

Publication date

Subjects

Access