Search:
	any fieldabstractaffiliationauthorauthor countauthority authorauthority instituteauthority journalauthority subjectcaptioncataloguer nicknamecited bycited by excluding self citescodencollaborationcollectiondate createddate modifieddivisiondoiexact authorexact first authorexact titleexperimentfile typefirst authorfulltextisbnissnitem countjournalkeywordmiscellaneousrecord IDreferencereference torefers torefers to excluding self citesreport numberrestrictionsubjecttitleyear
Search Tips :: Advanced Search

Search collections:

*** any public collection ***Administrative ReportsAuthor WorksAuthor Works for ApprovalITAM LibraryCompany PublicationsCompany Publications for Appro...Conference ContributionsConference MaterialsConference Materials for Appro...Conference ProceedingsConference ProgramseBooksEssaysExam TopicsLecture NotesMonographsPapersPostersPreprintsPresentationsProceedingsProduct InstructionsProduction CataloguesProject DocumentsReportsReports for ApprovalResearch ReportsSillabiStudy materialsStudy Materials for ApprovalThe Institute of Theoretical a...ThesesTheses for Approval

Sort by:	Display results:	Output format:
latest firsttitleauthorreport numberyear asc.desc. - or rank by -word similaritytimes citedselfcites	10 results25 results50 results100 results single listsplit by collection	BibTeXDublin CoreEndNoteEndNote (8-X)HTML briefHTML citesummaryHTML detailedMARCMARCXMLMODSNLMphoto captions onlyportfolioRefWorksUntitled

The Institute of Theoretical and Applied Mechanics

1 records found

Search took 0.03 seconds.

1.

Original version of the author's contribution as presented on USB, paper 310008_1.pdf.: PDF Specifying structural constraints of architectural patterns in the ARCHERY language Sanchez, Alejandro ; Riesco, Daniel software architecture, architectural patterns, formal verification Detailed record - Similar records

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.

Haven't found what you were looking for? Try your search on other servers:
Riesco, Daniel in Amazon Riesco, Daniel in CERN EDMS Riesco, Daniel in CERN Indico Riesco, Daniel in CERN Intranet Riesco, Daniel in CiteSeer Riesco, Daniel in Google Books Riesco, Daniel in Google Scholar Riesco, Daniel in Google Web Riesco, Daniel in IEC	Riesco, Daniel in IHS Riesco, Daniel in INSPEC Riesco, Daniel in INSPIRE Riesco, Daniel in ISO Riesco, Daniel in KISS Books/Journals Riesco, Daniel in KISS Preprints Riesco, Daniel in NEBIS Riesco, Daniel in SLAC Library Catalog Riesco, Daniel in Scirus