Assisting requirement formalization by means of natural language translation (Q1329090): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4864264 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Automatic verification of finite-state concurrent systems using temporal logic specifications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An action-based framework for veryfying logical and behavioural properties of concurrent systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: “Sometimes” and “not never” revisited / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic laws for nondeterminism and concurrency / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Automatizing parametric reasoning on distributed concurrent systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Results on the propositional \(\mu\)-calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4037120 / rank | |||
Normal rank |
Revision as of 16:40, 22 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Assisting requirement formalization by means of natural language translation |
scientific article |
Statements
Assisting requirement formalization by means of natural language translation (English)
0 references
29 June 1994
0 references
0 references
0 references