http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Ada-Europe 2006 : 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006 : proceedings
11th Ada-Europe International Conference on Reliable Software Technologies
Eleventh Ada-Europe International Conference on Reliable Software Technologies
Ada-Europe International Conference on Reliable Software Technologies 2006 : Porto, Portugal)
Real-time systems -- Static analysis -- Verification -- Applications -- Reliability -- Compilers -- Distributed systems.
Luís Miguel Pinho, Michael González Harbour (eds.).
Electronic reproduction. New York : Springer, 2008. Mode of access: World Wide Web. System requirements: Web browser. Title from title screen (viewed on Oct. 10, 2008). Access may be restricted to users at subscribing institutions.
Includes bibliographical references and index.