Results 81 to 90 of about 177 (93)

Semiformal process model for technology transfer

[1990] Proceedings. 12th International Conference on Software Engineering, 2002
openaire   +1 more source

Semiformal verification of temporal properties in automotive hardware dependent software

2009 Design, Automation & Test in Europe Conference & Exhibition, 2009
Djones Lettnin, Pradeep Kumar Nalla, Jörg Behrend, Jürgen Ruf, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Volker Schönknecht, Stephan Reitemeyer   +8 more
openaire   +2 more sources

Informal and semiformal agencies of law enforcement

1992
openaire   +1 more source

Essays on Semiformal Financial Institutions in Rural India

2013
openaire   +1 more source

On the Change of the Semiformal Style(hao-che) in Contemporary Korean

Journal of Korean Linguistics, 2014
openaire   +1 more source

SAT-based semiformal verification of hardware.

Sabih Agbaria, Dan Carmi, Orly Cohen, Dmitry Korchemny, Michael Lifshits, Alexander Nadel   +5 more
openaire   +1 more source

5: The Realm of Semiformal Suspicion: Framing ADHD in the Classroom

2004
openaire   +1 more source

Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration

2011
openaire   +1 more source

Metamodel-Compliance Checking of Requirements in a Semiformal Representation.

Hermann Kaindl, Stefan Kramer 0001, Mario Hailing, Vahan Harput   +3 more
openaire   +1 more source

Semiformal Verification of Temporal Properties in Embedded Software.

Djones Lettnin, Pradeep Kumar Nalla, Jürgen Ruf, Roland Weiss 0002, Axel G. Braun, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel   +7 more
openaire   +1 more source