Sage Journals: Discover world-class research

Retricted access

Research article

First published 2009-11

Formal Specification and Analysis of Domain Specific Models Using Maude

José E. Rivera, Francisco Durán, Antonio Vallecillo

SIMULATION

Retricted access

Research article

First published 2004-11-1

Formal specification and analysis of the Group Domain Of Interpretation Protocol using NPATRL and the NRL Protocol Analyzer

Catherine Meadows, Paul Syverson, Iliano Cervesato

Journal of Computer Security

Retricted access

Research article

First published 2015-04

Recombinant Immunoglobulin A Specific for Influenza A Virus Hemagglutinin: Production,Functional Analysis,and Formation of Secretory Immunoglobulin A

Kentaro Shoji, Tadanobu Takahashi, Kohta Kurohane [...]

Viral Immunology

Retricted access

Other

First published 1985-11

Class Formation within the Peasantry: Recent Theoretical Developments in the Analysis of the Peasantry with Specific Reference to the East African Debate

Kate Currie, Larry Ray

Sociology

Retricted access

Research article

First published 2007-9-29

Automatic analysis of firewall and network intrusion detection system configurations

Tomás E. Uribe, Steven Cheung

Journal of Computer Security

Retricted access

Research article

First published 2010-3

Integrating formal methods with domain analysis

Laura Felice, María Carmen Leonardi, María Virginia Mauco [...]

Journal of Computational Methods in Sciences and Engineering

Free access

Research article

First published 2018-9

Contractual safeguarding of specific assets in cross-border and domestic buyer–supplier relationships

Deodat Mwesiumo, Arnt Buvik, Otto Andersen

International Journal of Commerce and Contracting

Retricted access

Research article

First published 2005-5

A Dichotomic Search Algorithm for Mining and Learning in Domain-Specific Logics

Sébastien Ferré, Ross D. King

Fundamenta Informaticae

Retricted access

Research article

First published 2005-2

Formalization of petri nets with clocks

R. Uzal, D. Riesco, G. Montejano [...]

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 2018-9

Configuration space–based discrete event system specification formalism for a smart factory with real-time flexibility

Dae S Chang, Sang C Park

Concurrent Engineering

Search results