Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Fredlund, Lars-Åke - Facultad de Informática, Universidad Politécnica de Madrid
A Coding Rule Conformance Checker Integrated into GCC
Implementing WS-CDL Lars-Ake Fredlund
Component based software introduction Lars-Ake Fredlund
Formalisation of component based systems Lars-ke Fredlund
Validating open and component based systems Lars-Ake Fredlund
Web Services and Business Processes: An Overview Lars-Ake Fredlund
Model Checking Erlang Programs: The Functional Approach Lars-Ake Fredlund
Erlang a platform for developing distributed software systems Lars-Ake Fredlund
A Framework for Reasoning about ERLANG Code
Using McErlang to Verify an Erlang Process Supervision Component
Verifying Robocup Teams Clara Benac Earle2
Arquitecturas Software Juan Jos Moreno Navarro
Publications of Lars-Ake Fredlund Dissertations
