Results 41 to 50 of about 65,694 (53)

Evaluation of ASLan Mutation Operators

Lecture Notes in Computer Science, 2013
The AVANTSSAR validation platform is an automated toolset for validating trust and security aspects of Service-Oriented Architectures (SOAs). Models and security properties are specified in lowlevel AVANTSSAR Specification Language (ASLan) and there are ...
Matthias Büchler
exaly   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

Review of The Case for Aslan: Evidence for Jesus in the Land of Narnia

2023
exaly  

Peace initiatives of the government of President Aslan Maskhadov

Central Asian Survey, 2003
exaly  

ASLAN AND THE NEW MORALITY

Religious Education, 1972
exaly  

ASLAN: Synthesis of approximate sequential circuits

2014
Swagath Venkataramani, Kaushik Roy, Arnab Raha   +2 more
exaly  

Aslantest: a symbolic execution tool for testing Aslan formal specifications

1994
Richard Allen Kemmerer
exaly  

Verification for OAuth Using ASLan++

2015
Huibiao Zhu, Huixing Fang
exaly  

Aslan

2011
exaly  

Professor Aslan’s claims for “H3” therapy

1960
exaly  

Kein zahmer Löwe – Aslan als das Gute Selbst

2010
exaly