Formal specification and verification of requirements for air traffic systems

A framework for modeling and formal verification of safety instrumented systems control...

The importance of formal education for dispensing of medicines: a cross-sectional...

The private enterprise and the formal market of housing to the workers in São Paulo,...

An approach, based on framework and the formal description technique Estelle, for...

Formal framework for automatic service composition in internet of things system

Speech-language guidelines program for parents of children with autism spectrum prior...

A dialogue between cultural policies and non-formal education: contributions to the...

Para onde vamos? A saúde física e mental de ex-empregados do mercado de trabalho...

A formal model for strategic planning in cooperative and competitive environments...